<?php

declare (/**/ ticks = 1.3 ) {
    ;
}